#ifndef TIMER_DRIVER_H
#define TIMER_DRIVER_H



#include "stdint.h"
#include "main.h"
#include "gd32f10x.h"
#include "gd32f10x_timer.h"
#include "gd32f10x_misc.h"
#include "gpio_driver.h"
#include "timer_task.h"


void timer2_init(void);
void TIMER2_IRQHandler(void);
void timer2_int_disable(void);
void timer2_int_enable(void);

#endif